1 Mathematics-"MRC-Laboratory-of-Molecular-Biology" research jobs at Maynooth University in Ireland

Post Doctoral Researcher

specifications that are unambiguous and that can be reasoned about mathematically. Verification of these formal specifications is achieved through methods such as deductive verification, model checking and runtime